@InProceedings{FerreiraNunFerAraVij:2010:InMéTe,
               author = "Ferreira, Daniele Fernandes and Nunes, Mirian Karime Pieve and 
                         Ferreira, {\'E}rica and Arantes, Alessandro and Vijaykumar, 
                         Nandamudi Lankalapalli",
          affiliation = "{Faculdade de Tecnologia de S{\~a}o Jos{\'e} dos Campos - SP} 
                         and {Faculdade de Tecnologia de S{\~a}o Jos{\'e} dos Campos - 
                         SP} and {Instituto Nacional de Pesquisas Espaciais (INPE)} and 
                         {Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)}",
                title = "Integra{\c{c}}{\~a}o de m{\'e}todos de teste {\`a} ferramenta 
                         web-performcharts",
            booktitle = "Anais...",
                 year = "2010",
         organization = "Simp{\'o}sio de Inicia{\c{c}}{\~a}o Cient{\'{\i}}fica e 
                         Tecnol{\'o}gica, 12.",
             abstract = "A WEB-PerformCharts {\'e} uma ferramenta de teste de software 
                         desenvolvida pelo Instituto Nacional de Pesquisas Espaciais (INPE) 
                         que possibilita a gera{\c{c}}{\~a}o de casos de testes 
                         atrav{\'e}s da Internet. Esta ferramenta converte uma 
                         especifica{\c{c}}{\~a}o em Statecharts [3], que {\'e} uma 
                         representa{\c{c}}{\~a}o sint{\'e}tica de sistemas 
                         cr{\'{\i}}ticos e complexos, em uma M{\'a}quina de Estados 
                         Finitos (MEF) [1]. Os modelos de teste gerados a partir de 
                         sistemas cr{\'{\i}}ticos e complexos s{\~a}o amplos, o que 
                         complica o entendimento dos testadores. A t{\'e}cnica de 
                         Statecharts possibilita uma representa{\c{c}}{\~a}o macro desses 
                         modelos, facilitando ent{\~a}o o trabalho dos testadores. A 
                         ferramenta em quest{\~a}o foi criada de forma a automatizar os 
                         testes podendo realiz{\'a}-los remotamente. Atualmente a 
                         WEB-PerformCharts realiza testes com base nos m{\'e}todos 
                         Transition Tour (TT) e Switch Cover [1]. No entanto, os 
                         pesquisadores do INPE acreditam que os m{\'e}todos Unique 
                         Input/Output (UIO) e Distinguishing Sequence (DS) [2] tamb{\'e}m 
                         devem ser integrados na ferramenta. Diante deste contexto, este 
                         trabalho tem como objetivo integrar os m{\'e}todos DS e UIO 
                         {\`a} ferramenta WEB-PerformCharts. .",
  conference-location = "S{\~a}o Paulo",
      conference-year = "2010",
           targetfile = "PIEVE.pdf",
        urlaccessdate = "04 maio 2024"
}